A spatial logic for concurrency—II
نویسندگان
چکیده
منابع مشابه
A Spatial Logic for Concurrency
We present a logic that can express properties of freshness, secrecy, structure,and behavior of concurrent systems. In addition to standard logical and tempo-ral operators, our logic includes spatial operations corresponding to composition,local name restriction, and a primitive fresh name quantifier. Properties can alsobe defined by recursion; a central aim of this paper is...
متن کاملA Spatial Logic for Concurrency (Part II)
We present a modal logic for describing the spatial organization and the behavior of distributed systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to process composition and name hiding, and a fresh quantifier.
متن کاملA Spatial Logic for Querying Graphs
Lu a Cardelli, Philippa Gardner and Giorgio Ghelli1 Abstra t. We study a spatial logi for reasoning about labelled dire ted graphs, and the appli ation of this logi to provide a query language for analysing and manipulating su h graphs. We give a graph des ription using onstru ts from pro ess algebra. We introdu e a spatial logi in order to reason lo ally about disjoint subgraphs. We extend our...
متن کاملTowards a Complete Axiomatization for Spatial Logic
The process-based Spatial Logics are multi-modal logics developed for semantics on Process Algebras and designed to specify concurrent properties of dynamic systems. On the syntactic level, they combine modal operators similar to operators of Hennessy-Milner logic, dynamic logic, arrow logic, relevant logic, or linear logic. This combination generates expressive logics, sometimes undecidable, f...
متن کاملDevelopment of a Spatial Model for Locating Optimal Areas of Sustainable Physical Development Using Fuzzy Logic (Case Study: Hamadan City)
Today, physical development and population growth in Iranian cities, like other developing countries, is on the rise. One of the main problems in the urban area is the lack of attention to the influential parameters in the sustainable urban development. Various factors, such as natural phenomena, play a role in the urban development, and the effective parameters must be considered for locatin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2004
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2003.10.041